(0 19 13)(1 17 15)(2 10 9)(3 20 5)(4 18 7)(6 11 8)(12 16 14)
ALLOWS (11/8)-SEQUENCE
1: (5 16 20)
(0 19 13)(1 17 15)(2 10 9)(3 20 14 12 16)(4 18 7)(5)(6 11 8)
2: (0 19 13)
(0)(1 17 15)(2 10 9)(3 20 14 12 16)(4 18 7)(5)(6 11 8)(13)(19)
3: (1 17 15)
(0)(1)(2 10 9)(3 20 14 12 16)(4 18 7)(5)(6 11 8)(13)(15)(17)(19)
4: (3 20 14)
(0)(1)(2 10 9)(3 12 16)(4 18 7)(5)(6 11 8)(13)(14)(15)(17)(19)(20)